Design - Go Type Parameters Proposal

ToC

Type parameters

Constarints

Operations permitted for any type

Defining constraints

Using a constraint

Multiple type parameters

Generic types

Method may not take additional type arguments

Operators

Type lists in constraints

Comparable types in constraints

Type lists in interface types

Mutually referencing type parameters

Type inference

type unification

Function artument type inference

Constraint type inference

Element constraint example

Pointer method example

Using types that refer to themselves in constraints

Values of type parameters are not boxed

More on type lists

Both type lists and methods in constraints

Types with method in type lists

Composite types in constraints

Type parameters in type lists

Type conversions

Untyped constants

Type lists in embedded constraints

General notes on type lists

Reflection